Méthodes d'Analyse des Systèmes de Processus Communicants Modélisés en Réseaux de Petri à Files = Analysis Methods for Systems of Communicating Processes Modeled by FIFO Petri NetsBenalycherif, Mohamed-Lyes; Girault, Claude.1998, 159 p.Thesis

Méthodes et outils de partage de charge pour la conception et la mise en œuvre d'applications dans les systèmes répartis hétérogènes = Methds and tools for load sharing of parallel applications in heterogeneous distributed systemsFolliot, Bertil; Girault, Claude.1992, 250 p.Thesis

Gestion d'objets et migration dans les systèmes répartis = Object management and migration in distributed systemsHabert, Sabine; Girault, Claude.1989, 145 p.Thesis

Une catégorie régulière de réseau de Pétri de haut niveau : définition, propriétés et réductions, application à la validation de systèmes distribuésHaddad, Serge; Girault, Claude.1987, 182 p.Thesis

Observation et mise au point pour un calculateur distribué temps réel critique = Monitoring and debugging for a hard real-time distributed systemHubart, Nicolas; Girault, Claude.1997, 138 p.Thesis

Méthodes de spécification et de vérification des protocoles de communication = Specification and verification methods for communication protocolsZouari, Belhasse; Girault, Claude.1992, 277 p.Thesis

Outils pour la programmation d'objets fragmentés = Building blocks for fragmented objectsGourhant, Yvon; Girault, Claude; Shapiro, Marc et al.1991, 130 p.Thesis

Détection de propriétés de repos globales dans des systèmes répartis avec déséquencement de messages. Application au problème de terminaison = Global quiescent properties detection in distributed systems when messages arrive out of sequence. Application to the termination detection problemBlanc, Pascale; Girault, Claude.1990, 196 p.Thesis

Architecture et accès d'un frontal de communication à TRANSPAC, TRANSCOM et TRANSDYN : association de voies terrestres à des liaisons TRANSDYN unidirectionnellesLouis, Michel; Girault, Claude.1988, 306 p.Thesis

Analyse des réseaux bipolaires pour la cohérence et l'évaluation des systèmes parallèlesQuichaud, Danièle; Girault, Claude.1988, 2 vol.,364 pThesis

Problèmes d'optimisation de ressources dans les systèmes de télécommunications par satellite utilisant l'AMRT (accès multiple à répartition dans le temps)Prins, Christian; Girault, Claude.1988, 221 p.Thesis

Accélération de la génération destests de protocoles par agrégation de méthodes hétérogènes = Acceleration of test generation For protocols by merging heterogeneous methodsTouag, Athmane; Girault, Claude.2000, 165 p.Thesis

Objets Distribués Adaptables pour Environnements Mobiles = Adaptable and Mobile-Aware Distributed ObjectsBaggio, Aline; Girault, Claude.1999, 211 p.Thesis

Cohérence de données répliquées partagées par un groupe de processus coopérant à distance = Coherence of Shared Replicated Data within Groups of Remote Cooperating ProcessesBrun Cottan, Georges; Girault, Claude.1998, 170 p.Thesis

KITLOG: un service de journalisation générique = KITLOG: a generic logging serviceRuffin, Michel; Girault, Claude.1992, 157 p.Thesis

Stratégies d'optimisation et évaluation de performance du protocole de validation en deux phases = Optimization stratégies and performance evaluation of the two-phase commit protocolTraverson, Bruno; Girault, Claude.1991, 191 p.Thesis

Conception et mise en œuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques = Conception and realisation of an system environment for modeling, analysing and system prototypingMounier, Jean-Luc; Girault, Claude.1990, 307 p.Thesis

Définition de classes d'environnements réseaux pour la simulation d'algorithmes distribuésMaviel, Pierre; Girault, Claude.1987, 190 p.Thesis

Un réseau de mobiles autonomes pour l'apprentissage de la communicationTanguy, Roger; Girault, Claude.1987, 218 p.Thesis

Un système coopératif pour la localisation des miroirs sur le Web = A cooperative system for locating mirrors over the WebDorta Santiago Pereira, Neilze; Girault, Claude.2000, 145 p.Thesis

Hobbes : un modèle de liaison de références réparties = Hobbes : a binding model for distributed referencesMaisonneuve, Julien; Girault, Claude.1996, 110 p.Thesis

Optimisation de l'architecture des serveurs vocaux = Optimization of voice server architectureRouge, Thierry; Girault, Claude.1993, 298 p.Thesis

Etude et conception d'un gestionnaire de documents hypermedia = Analysis and design of a hypermedia document management systemCaudillo-Felix, Ruben-Jesus; Girault, Claude.1992, 298 p.Thesis

Interfonctionnement Numéris-Transpac: Etude et réalisation d'un serveur d'applications = Interface between Numeris and Transpac: Study and realization of an application serverChentouh, Djamila; Seret, Dominique; Girault, Claude et al.1990, 182 p.Thesis

Etude de la concordance de comportement de deux réseaux de Petri: application à la validation des protocoles: détection automatique des erreurs de conception = Behaviour concordance between Petri nets: application to protocol validationRouger-Bourguet, Anne; Girault, Claude.1990, 228 p.Thesis